<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en-AU">
  <head>
    <meta http-equiv="content-type" content="application/xhtml+xml; charset=utf-8" />
    <meta name="author" content="Lubos Brim" />
    <meta name="generator" content="GNU Emacs" />
    <link rel="icon" href="pics/divine-ico.png" type="image/x-icon" />
    <link rel="stylesheet" type="text/css" href="divine-screen-alt.css" media="screen, tv, projection" title="Default" />

    <title>DiVinE Contact Information</title>
  </head>

  <body>
    <!-- For non-visual user agents: -->
      <div id="top"><a href="#main-copy" class="doNotDisplay doNotPrint">Skip to main content.</a></div>

    <!-- ##### Header ##### -->

    <div id="header">
      <div class="superHeader">
        <span>Quick Links:</span>
        <a href="http://www.fi.muni.cz/paradise/" title="ParaDiSe laboratories">PARADISE LABS</a> |
        <a href="divine-cluster.html" title="Divine Cluster pages">DIVINE CLUSTER</a> |
  <a href="divine-mc.html" title="Divine Multi-Core pages">DIVINE MULTI-CORE</a> |
  <a href="divine-cuda.html" title="Divine CUDA pages">DIVINE CUDA</a> |
  DIVINE I-O  <!-- <a href="page.php?page=divine-io" title="Divine External-Memory pages">DIVINE I-O</a>  --> |
        <a href="probdivine.html" title="ProbDivine pages">PROB-DIVINE</a> |
  BIO-DIVINE  <!-- <a href="page.php?page=biodivine" title="BioDivine pages">BIO-DIVINE</a> -->
      </div>

      <div class="midHeader">
          <h1 class="headerTitle">DIVINE</h1>
          <div class="headerSubTitle">Distributed and Parallel Verification Environment</div>

        <br class="doNotDisplay doNotPrint" />
        <div class="headerLinks">
	</div>
      </div>
      <div class="subHeader">
        <span class="doNotDisplay">Navigation:</span>
        <a href="index.html">Main Page</a> |
        <a href="overview.html">DiVinE Overview</a> |
        <a href="language.html">Language Guide</a> |
        <a href="tool.html">Tool Guide</a> |
        <a href="publications.html">Publications</a> |
        <a href="casestudies.html">Experiments</a> |
        Benchmarking  <!-- <a href="page.php?page=benchmark">Benchmarking</a> --> | 
        <a href="http://divine.fi.muni.cz/page.php?page=download">Download</a> |
        <a href="contact.html">Contact us</a>
      </div>
    </div>

    <!-- ##### Main Copy ##### -->

     <div id="main-copy">
      <h1 id="alt-layout">Contact Information</h1>

      <p>If you have comments or questions about DiVinE
      please email 
<script language='JavaScript' type='text/javascript'>
 <!--
 var prefix = '&#109;a' + 'i&#108;' + '&#116;o';
 var path = 'hr' + 'ef' + '=';
 var divine = 'd&#105;vin&#101;' + '&#64;';
 divine = divine + 'f&#105;' + '&#46;' + 'm&#117;&#110;i' + '&#46;' + '&#99;z';
 document.write( '<a ' + path + '\'' + prefix + ':' + divine + '\'>'  );
 document.write( 'DiVinE Development Team.' );
 document.write( '<\/a>' );
 //-->
 </script><script language='JavaScript' type='text/javascript'>
 <!--
 document.write( '<span style=\'display: none;\'>' );
 //-->
 </script>This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
 <script language='JavaScript' type='text/javascript'>
 <!--
 document.write( '</' );
 document.write( 'span>' );
 //-->
 </script>
</p>

<p>To file a bug report or an enhancement request, please use <a href="http://divine.fi.muni.cz/trac">trac</a>.</p>
					
<h1 id="alt-layout">Address</h1>

	  Faculty of Informatics &#47; ParaDiSe<br />
          Botanicka 68a<br />

          Brno, Czech Republic<br />
          Phone: +420 549 491 869<br />
          <a
	  href="http://www.fi.muni.cz/paradise">www.fi.muni.cz/paradise</a><br
	  />


<h1 id="alt-layout">Team</h1>


<table cellpadding="0" cellspacing="0">
<tr> <!-- First row -->
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/brim.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
                       <p><a href="http://www.fi.muni.cz/usr/brim/">Lubos Brim</a> <br />Project Leader</p>
		    </td>

		</tr>
		</table>
		<span class="article_seperator">&nbsp</span>
          </td>
     </tr>
     </table>
</td>
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/barnat.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://www.fi.muni.cz/~xbarnat/">Jiri Barnat</a><br />
DiVinE Architect</p>
		    </td>

		</tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
         </td>
     </tr>
     </table>
</td>
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/cerna.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
                       <p><a href="http://www.fi.muni.cz/usr/cerna/">Ivana Cerna</a> <br /></p>
		    </td>

		</tr>
		</table>
		<span class="article_seperator">&nbsp</span>
          </td>
     </tr>
     </table>
</td>
</tr>

<tr> <!-- Second row -->
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/rockai.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://is.muni.cz/lide/index.pl?jazyk=en&searchid=139761">Petr Rockai</a> <br />DiVinE MC</p>
		    </td>
		</tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/ceska.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://is.muni.cz/lide/index.pl?jazyk=en&searchid=99067">Milan Ceska</a><br />
Prob-DiVinE</p>
	             </td>
                </tr>
                </table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/tumova.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://is.muni.cz/lide/index.pl?jazyk=en&searchid=98614">Jana Tumova</a><br />
Prob-DiVinE</p>
		    </td>
                </tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>


<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/simecek.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://anna.fi.muni.cz/~xsimece1/">Pavel Simecek</a><br />
DiVinE Cluster</p>
         	    </td>
                </tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>
</tr>

<tr> <!-- Third row -->
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/janousek.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://is.muni.cz/lide/index.pl?jazyk=en&searchid=207561">Tomas Janousek</a> <br />DiVinE Language</p>
		    </td>
		</tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/chaloupka.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://is.muni.cz/lide/index.pl?jazyk=en&searchid=60400">Jakub Chaloupka</a><br />
DiVinE Cluster</p>
	             </td>
                </tr>
                </table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>
<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/weber.jpeg" width="100" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://wwwhome.cs.utwente.nl/~michaelw/">Michael Weber</a><br />
<font size=-2>University of Twente</font><br />
Promela support</p>
		    </td>
                </tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>

<td valign="top">
     <table width="100%"  cellpadding="0" cellspacing="0">
     <tr><td valign="top" width="33%">	
		<table >
		<tr><td valign="top" colspan="2">
		    <img src="pics/Verstoep_Kees.jpg" width="85" height="113" hspace="6" alt="Image" title="Image" border="3" />
<p><a href="http://www.cs.vu.nl/~versto/">Kees Verstoep</a><br />
<font size=-2>VU Amsterdam</font><br />
Grid support</p>
		    </td>
                </tr>
		</table>
		<span class="article_seperator">&nbsp;</span>
     </td></tr>
     </table>
</td>


</tr>



</table>
 
Former members of the development team include (not complete):<br />
Pavel Moravec, Jiri Simsa, Radek Pelanek, Jitka Kudrnacova

    </div>


    <!-- ##### Footer ##### -->
    <div id="footer">
<span>Copyright &copy; 2002-2008 ParaDiSe Labs, Faculty of Informatics, Masaryk
University, Brno, Czech Republic</span><br />
      <strong>Updated &raquo;</strong>Wednesday, 8-Oct-2008 13:30 CEST<br />
    </div>
  </body>
</html>


















